Skip to content

Conversation

@Mikerah
Copy link
Contributor

@Mikerah Mikerah commented Jan 10, 2026

Summary

Update code examples in documentation to use the current StoffelLang syntax instead of the outdated proc keyword.

Changes

  • src/getting-started/first-project.md

    • Change proc function_name(): ReturnType = to def function_name() -> ReturnType:
    • Change proc main() = to main main() -> nil:
  • src/stoffel-lang/compilation.md

    • Update all proc examples to use def or main keywords
    • Fix return type annotation syntax throughout

Test plan

  • mdbook build succeeds
  • Verified code blocks use correct syntax

Related to STO-107 and STO-308

🤖 Generated with Claude Code

- Change `proc` keyword to `def` for regular functions
- Change `proc main()` to `main main() -> nil:` for entry points
- Fix return type syntax from `: Type =` to `-> Type:`
- Update examples in first-project.md and compilation.md

🤖 Generated with [Claude Code](https://claude.ai/claude-code)
@linear
Copy link

linear bot commented Jan 10, 2026

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants